Dynamic Detection and Healing of Low Level Data Races
نویسندگان
چکیده
Data races are a common problem in concurrent programming. This article describes a tool which is able to detect low level data races in Java programs and heal them – all at run-time. This tool is build on top of IBM ConTest, a concurrency testing software. The tool uses a modification of the Eraser algorithm to detect data races and implements two techniques of data race healing.
منابع مشابه
Permission Regions for Race-Free Parallelism
It is difficult to write parallel programs that are correct. This is because of the potential for data races, when parallel tasks access shared data in complex and unexpected ways. A classic approach to addressing this problem is dynamic race detection, which has the benefits of working transparently to the programmer and not raising any false alarms. Unfortunately, dynamic race detection is ve...
متن کاملDynamic Data Race Detection and Healing
Perpetual availability is an important operational goal in today's computer systems. However , achieving this goal is challenging because modern software systems contain faults that can cause them to fail. For example, multi-threading is widely used in modern software to fully utilize the computing capability of multicore processors. However, employing multi-threading can lead to concurrency fa...
متن کاملEffect of Low Frequency Low-Level Infra-Red Diode Laser Therapy on Third Degree Burn Healing in Rats Skin
Purpose: The aim of present investigation was to evaluate low frequency low-level infra red diode laser therapy for a third degree burn healing in rats skin.Materials and Methods: 36 rats were divided into groups one and two. On day zero three third degree burns were made on the dorsum of each rat by steam. In group one ,first burn were exposed to a 80 Hz –pulsed 890 nm infra red diode laser wi...
متن کاملEffect of Low Frequency Low-Level Infra-Red Diode Laser Therapy on Third Degree Burn Healing in Rats Skin
Purpose: The aim of present investigation was to evaluate low frequency low-level infra red diode laser therapy for a third degree burn healing in rats skin.Materials and Methods: 36 rats were divided into groups one and two. On day zero three third degree burns were made on the dorsum of each rat by steam. In group one ,first burn were exposed to a 80 Hz –pulsed 890 nm infra red diode laser wi...
متن کاملEffective Sampling for Lightweight Data-Race Detection
Data races are one of the most common and subtle causes of pernicious concurrency bugs. Static techniques for preventing data races are overly conservative and do not scale well to large programs. Past research has produced several dynamic data race detectors that can be applied to large programs and are precise in the sense that they only report actual data races. However, these dynamic data r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007